The Economic Journal, 109 (March), C156±C171. # Royal Economic SocietyPublished by Blackwell Publishers, 108 Cowley Road, Oxford OX4 1JF, UK and 350 Main Street, Malden, MA 02148, USA. A MODEL OF CREATIVE DESTRUC

Source URL: www.waelde.com

• Economic model
• Elasticity of intertemporal substitution
• Monopoly
• Bellman equation
• Diaeresis

FoNEW Discussion PaperInvestments in a Combined Energy Network Model: Substitution between Natural Gas and Electricity?

Source URL: hannesweigt.de

Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Philipp Gerhardy · Ulrich Kohlenbach Extracting Herbrand Disjunctions by

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Mathematics
• Abstraction
• Mathematical logic
• Model theory
• Proof theory
• Semantics
• Term algebra
• First-order logic
• Interpretation
• Substitution
• Herbrandization

A Global General Equilibrium Model with US State-Level Detail for Trade and Environmental Policy Analysis—Technical Notes Justin Caron and Sebastian Rausch Technical Note No.13

Source URL: globalchange.mit.edu

• Econometrics
• Production economics
• International trade
• Computable general equilibrium
• Constant elasticity of substitution
• GTAP
• Elasticity
• Economics
• Tariff
• Labour economics
• Economic data
• Index of economics articles

Alternating-time Temporal Logics with Irrevocable Strategies Agotnes Thomas ˚ Dept. of Computer Engineering Bergen University College,

Source URL: folk.uib.no

• Logic
• Mathematical logic
• Model theory
• Mathematics
• Formal languages
• Linear temporal logic
• Temporal logic
• Symbol
• Substitution
• Interpretation
• Structure
• Constructible universe

LNAIStrongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures

Source URL: folk.uib.no

• Model theory
• Interpretation
• Substitution
• Compactness theorem
• Linear temporal logic
• Differential forms on a Riemann surface

Towards a Proof Theory for Multi-Agent Logics with Irrevocable Strategies 1 ˚ Thomas Agotnes , Valentin Goranko2 , and Wojciech Jamroga3

Source URL: folk.uib.no

• Logic
• Mathematical logic
• Philosophy
• Model theory
• Formal languages
• Logical truth
• Propositional calculus
• Linear temporal logic
• Temporal logic
• Interpretation
• Substitution
• operator

Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l

Source URL: folk.uib.no

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Formal languages
• Logical truth
• Metalogic
• First-order logic
• Interpretation
• Substitution
• Well-formed formula
• Satisfiability

A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands

Source URL: www.cs.ru.nl

• Mathematics
• Logic
• Mathematical logic
• Type theory
• Automated theorem proving
• Logic programming
• Models of computation
• Logic in computer science
• Substitution
• Structure
• Model theory
• Parity of a permutation

Evolution, 54(2), 2000, pp. 397–405 INDEPENDENT CONTRASTS SUCCEED WHERE ANCESTOR RECONSTRUCTION FAILS IN A KNOWN BACTERIOPHAGE PHYLOGENY TODD H. OAKLEY1

Source URL: www.biology.ucr.edu

• Phylogenetics
• Biology
• Computational phylogenetics
• Maximum parsimony
• Long branch attraction
• Phylogenetic tree
• Cladistics
• Outgroup
• PHYLIP
• Character evolution
• Substitution model
• Evolution